Lifting in Z

نویسندگان

  • Andrew P. Martin
  • Colin J. Fidge
چکیده

Formal notations such as Z provide powerful support for writing clear specifications, and for undertaking proofs of properties of those specifications. In this paper, we explore one particular style of specification, with applications in control theory and real-time specification. The notation we define permits the accurate description of concepts in these fields without significant overhead or notational clutter. This notation has long been used by practitioners in these fields; we demonstrate that it may be defined within Draft Standard Z, and that the resulting specifications are amenable to proof.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ON THE LIFTING PROPERTY. Il l BY A. IONESCU TULCEA AND C. IONESCU TULCEA

1. Let Z be a locally compact space and / i ^ O a positive Radon measure on Z. Let MR(Z} /X) be the Banach algebra of all bounded real-valued /x-measurable functions defined on Z, endowed with the norm/—»||/||oo = sup2 G^|/(0)| . Let CR(Z) be the subalgebraof MR{Z,\X) consisting of all bounded continuous functions on Z and 3C(Z) the subalgebra of all ƒ G CR (Z) having compact support. For two f...

متن کامل

Reduction and lifting of special metacyclic covers

Special covers are metacyclic covers of the projective line, with Galois group Z/p ⋊ Z/m, which have a specific type of bad reduction to characteristic p. Such covers arise in the study of the arithmetic of Galois covers of P with three branch points. Our results provide a classification of all special covers in terms of certain lifting data in characteristic p.

متن کامل

Quotients, automorphisms and differential operators

Let V be a G-module where G is a complex reductive group. Let Z := V//G denote the categorical quotient and let π : V → Z be the morphism dual to the inclusion O(V ) ⊂ O(V ). Let φ : Z → Z be an algebraic automorphism. Then one can ask if there is an algebraic map Φ: V → V which lifts φ, i.e., π(Φ(v)) = φ(π(v)) for all v ∈ V . In Kuttler [Kut11] the case is treated where V = rg is a multiple of...

متن کامل

On Jacobi Poincaré Series of Small Weight

Γg := SL2(Z) n (Z × Z) (g ∈ Z). We show that they form a generating system for the vector space of Jacobi cusp forms J k,m . As two applications, we estimate Fourier coefficients of Siegel modular forms and construct lifting maps from J k,m to a subspace of elliptic modular forms. It is likely that one can generalize our results to certain congruence subgroups as done in [Br2]. In the following...

متن کامل

Newton-Hensel Interpolation Lifting

The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in Z[x] from information modulo a prime number p 6= 2 to a power pk for any k , and its originality is that it is a mixed version that not only lifts the coefficients of the polynomial but also its exponents. We show that this result corresponds exac...

متن کامل

Invariants of Legendrian Knots and Coherent Orientations

We provide a translation between Chekanov’s combinatorial theory for invariants of Legendrian knots in the standard contact R and a relative version of Eliashberg and Hofer’s contact homology. We use this translation to transport the idea of “coherent orientations” from the contact homology world to Chekanov’s combinatorial setting. As a result, we obtain a lifting of Chekanov’s differential gr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 42  شماره 

صفحات  -

تاریخ انتشار 2001